disjunctive normal form discrete mathematics tamil